square root using long division method proof